Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)
by Roland Backhouse,Roy Crole,Jeremy Gibbons
ISBN 13: 9783540436133
Format: Illustrated (404 pages) Publisher: Springer Published: 13 Jun 2008
Save for later